x86/IO-APIC: adjust setting of destinations
authorJan Beulich <jbeulich@suse.com>
Mon, 16 Nov 2015 12:11:59 +0000 (13:11 +0100)
committerJan Beulich <jbeulich@suse.com>
Mon, 16 Nov 2015 12:11:59 +0000 (13:11 +0100)
commita85da715cfffbc294589ad4edc4c7564ae6fcc25
tree3c7d2e8edcb921e5272715901d873cd7fb04f5ba
parentfc0c3fa2ad5cdb7e9ccb068e3301499acf643bec
x86/IO-APIC: adjust setting of destinations

setup_IO_APIC_irqs() runs before APs get brought up, so using
desc->arch.cpu_mask as best risks it being either empty or having bits
for CPUs other than the BP set. Just use the APIC ID of the only
online CPU directly.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/io_apic.c